Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars
نویسندگان
چکیده
منابع مشابه
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars
Aspect-orientation is a relatively new paradigm that introduces abstractions to modularize the implementation of system-wide policies. It is based on a composition operation, called aspect weaving, that implicitly modifies a base system by performing related changes within the system modules. Aspect-oriented graph grammars (AOGG) extend the classic graph grammar formalism by defining aspects as...
متن کاملAnalysis of Aspect-Oriented Models Using Graph Transformation Systems
Aspect-oriented concepts are currently exploited to model systems from the beginning of their development. Aspects capture potentially cross-cutting concerns and make it easier to formulate desirable properties and to understand analysis results than in a tangled system. However, the complexity of interactions among di erent aspectualized entities may reduce the bene t of aspect-oriented separa...
متن کاملModeling Railway Control Systems Using Graph Grammars: A Case Study
In this report, we develop a railway control system. We are mainly concerned with the software architecture of the control system and its dynamic evolution; we do not discuss here the implementation details of the components forming the control system. The software architecture is characterized by a hierarchy of controllers whose leaves are local controllers connected in a network that mimics t...
متن کاملAspect-Oriented Design (AOD) Technique for Developing Distributed Object-Oriented Systems over the Internet
While software development techniques for identifying specifying, and analyzing functional requirements of software systems are quite mature, existing traditional design methods are not mature enough to capture non-functional requirements such as concurrency, performance, fault tolerance, distribution, and persistence of a software application. Very recently, Aspect-Oriented Programming (AOP) a...
متن کاملModeling of Adaptive Cyber Physical Systems using Aspect-oriented Approach
This paper proposes an aspect-oriented approach to modeling adaptive cyber physical system (CPS) using Petri nets. The core concerns of CPSs are described as device model and task model, and dynamic variations of system behaviors or environment conditions are extracted as crosscutting concerns. The models of runtime inspection as well as device adaptation and task adaptation are designed as asp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2010
ISSN: 2075-2180
DOI: 10.4204/eptcs.21.4